@book{Sedgewick:1996:IAA:227351,
 author = {Sedgewick, Robert and Flajolet, Philippe},
 title = {An introduction to the analysis of algorithms},
 year = {1996},
 isbn = {0-201-40009-X},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
} 


@book{McConnell:2007:AA:1374801,
 author = {McConnell, Jeffrey J.},
 title = {Analysis of Algorithms},
 year = {2007},
 isbn = {9780763707828},
 edition = {2},
 publisher = {Jones and Bartlett Publishers, Inc.},
 address = {USA},
} 


@article{Sleator:1985:SBS:3828.3835,
 author = {Sleator, Daniel Dominic and Tarjan, Robert Endre},
 title = {Self-adjusting binary search trees},
 journal = {J. ACM},
 issue_date = {July 1985},
 volume = {32},
 number = {3},
 month = jul,
 year = {1985},
 issn = {0004-5411},
 pages = {652--686},
 numpages = {35},
 url = {http://doi.acm.org/10.1145/3828.3835},
 doi = {10.1145/3828.3835},
 acmid = {3835},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@incollection{Bayer:2002:BDP:944331.944346,
 author = {Bayer, Rudolf},
 chapter = {B-trees and databases, past and future},
 title = {Software pioneers},
 editor = {Broy, Manfred and Denert, Ernst},
 year = {2002},
 isbn = {3-540-43081-4},
 pages = {232--244},
 numpages = {13},
 url = {http://dl.acm.org/citation.cfm?id=944331.944346},
 acmid = {944346},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
} 

@article{Adelson-Velskii_Landis_1962, 
  title = {An algorithm for the organization of information}, 
  volume = {3}, 
  url = {http://en.scientificcommons.org/19884302}, 
  number = {2}, 
  journal = {Soviet Mathematics Doklady}, 
  publisher = {JOINT PUBLICATIONS RESEARCH SERVICE WASHINGTON DC}, 
  author = {Adelson-Velskii, G M and Landis, E M}, 
  year={1962}, 
  pages={263--266}
}
                  
@article{Tan:1972:FIS:361573.361588,
 author = {Tan, K. C.},
 title = {On Foster's information storage and retrieval using AVL trees},
 journal = {Commun. ACM},
 issue_date = {Sept. 1972},
 volume = {15},
 number = {9},
 month = sep,
 year = {1972},
 issn = {0001-0782},
 pages = {843--},
 url = {http://doi.acm.org/10.1145/361573.361588},
 doi = {10.1145/361573.361588},
 acmid = {361588},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {binary trees, information retrieval, information storage, search trees},
} 

@inproceedings{Wilson:1992:UGC:645648.664824,
 author = {Wilson, Paul R.},
 title = {Uniprocessor Garbage Collection Techniques},
 booktitle = {Proceedings of the International Workshop on Memory Management},
 series = {IWMM '92},
 year = {1992},
 isbn = {3-540-55940-X},
 pages = {1--42},
 numpages = {42},
 url = {http://dl.acm.org/citation.cfm?id=645648.664824},
 acmid = {664824},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
} 

@book{Jones:2011:GCH:2025255,
 author = {Jones, Richard and Hosking, Antony and Moss, Eliot},
 title = {The Garbage Collection Handbook: The Art of Automatic Memory Management},
 year = {2011},
 isbn = {1420082795, 9781420082791},
 edition = {1st},
 publisher = {Chapman \& Hall/CRC},
} 

@article{Andersson:1999:GBT:308088.308094,
 author = {Andersson, Arne},
 title = {General balanced trees},
 journal = {J. Algorithms},
 issue_date = {Jan. 1999},
 volume = {30},
 number = {1},
 month = jan,
 year = {1999},
 issn = {0196-6774},
 pages = {1--18},
 numpages = {18},
 url = {http://dx.doi.org/10.1006/jagm.1998.0967},
 doi = {10.1006/jagm.1998.0967},
 acmid = {308094},
 publisher = {Academic Press, Inc.},
 address = {Duluth, MN, USA},
} 

@article{Stout:1986:TRO:6592.6599,
 author = {Stout, Q. F and Warren, B. L},
 title = {Tree rebalancing in optimal time and space},
 journal = {Commun. ACM},
 issue_date = {Sept. 1986},
 volume = {29},
 number = {9},
 month = sep,
 year = {1986},
 issn = {0001-0782},
 pages = {902--908},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/6592.6599},
 doi = {10.1145/6592.6599},
 acmid = {6599},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{Waters:1992:UNC:1039991.1039996,
 author = {Waters, Richard C.},
 title = {Using the new common Lisp pretty printer},
 journal = {SIGPLAN Lisp Pointers},
 issue_date = {April-June 1992},
 volume = {V},
 number = {2},
 month = apr,
 year = {1992},
 issn = {1045-3563},
 pages = {27--34},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1039991.1039996},
 doi = {10.1145/1039991.1039996},
 acmid = {1039996},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@INPROCEEDINGS{Waters89xp:a,
    author = {Richard C. Waters},
    title = {XP: A Common Lisp Pretty Printing System},
    booktitle = {A.I. Memo 1102a, MIT Artificial Intelligence Laboratory},
    year = {1989}
}

BibTeX | BibTeX (beta) | EndNote | ACM Ref

@techreport{Huang:1990:FSM:898863,
 author = {Huang, Bing and Langston, Michael A.},
 title = {Fast Stable Merging and Sorting in Constant Extra Space},
 year = {1990},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Autk_cs%3Ancstrl.utk_cs%2F%2FUT-CS-90-106},
 publisher = {University of Tennessee},
 address = {Knoxville, TN, USA},
} 

@article{Huang:1988:PIM:42392.42403,
 author = {Huang, Bing-Chao and Langston, Michael A.},
 title = {Practical in-place merging},
 journal = {Commun. ACM},
 issue_date = {March 1988},
 volume = {31},
 number = {3},
 month = mar,
 year = {1988},
 issn = {0001-0782},
 pages = {348--352},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/42392.42403},
 doi = {10.1145/42392.42403},
 acmid = {42403},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{Katajainen:1996:PIM:642136.642138,
 author = {Katajainen, Jyrki and Pasanen, Tomi and Teuhola, Jukka},
 title = {Practical in-place mergesort},
 journal = {Nordic J. of Computing},
 issue_date = {Spring 1996},
 volume = {3},
 number = {1},
 month = mar,
 year = {1996},
 issn = {1236-6064},
 pages = {27--40},
 numpages = {14},
 url = {http://dl.acm.org/citation.cfm?id=642136.642138},
 acmid = {642138},
 publisher = {Publishing Association Nordic Journal of Computing},
 address = {Finland},
 keywords = {in-place algorithms, mergesort, sorting},
} 

@inproceedings{Clinger:1990:RFP:93542.93557,
 author = {Clinger, William D.},
 title = {How to read floating point numbers accurately},
 booktitle = {Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation},
 series = {PLDI '90},
 year = {1990},
 isbn = {0-89791-364-7},
 location = {White Plains, New York, USA},
 pages = {92--101},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/93542.93557},
 doi = {10.1145/93542.93557},
 acmid = {93557},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{Burger:1996:PFN:231379.231397,
 author = {Burger, Robert G. and Dybvig, R. Kent},
 title = {Printing floating-point numbers quickly and accurately},
 booktitle = {Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation},
 series = {PLDI '96},
 year = {1996},
 isbn = {0-89791-795-2},
 location = {Philadelphia, Pennsylvania, USA},
 pages = {108--116},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/231379.231397},
 doi = {10.1145/231379.231397},
 acmid = {231397},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {floating-point printing, run-time systems},
} 

@TECHREPORT{Gay90correctlyrounded,
    author = {David M. Gay},
    title = {Correctly Rounded Binary-Decimal and Decimal-Binary Conversions},
    institution = {Numerical Analysis Manuscript 90-10, AT\&T Bell Laboratories},
    year = {1990}
}

@inproceedings{Doligez:1993:CGG:158511.158611,
 author = {Doligez, Damien and Leroy, Xavier},
 title = {A concurrent, generational garbage collector for a multithreaded implementation of ML},
 booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '93},
 year = {1993},
 isbn = {0-89791-560-7},
 location = {Charleston, South Carolina, USA},
 pages = {113--123},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/158511.158611},
 doi = {10.1145/158511.158611},
 acmid = {158611},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@book{Kiczales:1991:AMP:574212,
 author = {Kiczales, Gregor and Rivieres, Jim Des},
 title = {The  Art of the Metaobject Protocol},
 year = {1991},
 isbn = {0262111586},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
} 

@book{Muchnick:1998:ACD:286076,
 author = {Muchnick, Steven S.},
 title = {Advanced compiler design and implementation},
 year = {1997},
 isbn = {1-55860-320-4},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@inproceedings{Braun:2013:SEC:2450247.2450258,
 author = {Braun, Matthias and Buchwald, Sebastian and Hack, Sebastian and Lei\ss{}a, Roland and Mallon, Christoph and Zwinkau, Andreas},
 title = {Simple and Efficient Construction of Static Single Assignment Form},
 booktitle = {Proceedings of the 22Nd International Conference on Compiler Construction},
 series = {CC'13},
 year = {2013},
 isbn = {978-3-642-37050-2},
 location = {Rome, Italy},
 pages = {102--122},
 numpages = {21},
 url = {http://dx.doi.org/10.1007/978-3-642-37051-9_6},
 doi = {10.1007/978-3-642-37051-9_6},
 acmid = {2450258},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@article{Cytron:1991:ECS:115372.115320,
 author = {Cytron, Ron and Ferrante, Jeanne and Rosen, Barry K. and Wegman, Mark N. and Zadeck, F. Kenneth},
 title = {Efficiently Computing Static Single Assignment Form and the Control Dependence Graph},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {Oct. 1991},
 volume = {13},
 number = {4},
 month = oct,
 year = {1991},
 issn = {0164-0925},
 pages = {451--490},
 numpages = {40},
 url = {http://doi.acm.org/10.1145/115372.115320},
 doi = {10.1145/115372.115320},
 acmid = {115320},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {control dependence, control flow graph, def-use chain, dominator, optimizing compilers},
}

@article{Lengauer:1979:FAF:357062.357071,
 author = {Lengauer, Thomas and Tarjan, Robert Endre},
 title = {A Fast Algorithm for Finding Dominators in a Flowgraph},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {July 1979},
 volume = {1},
 number = {1},
 month = jan,
 year = {1979},
 issn = {0164-0925},
 pages = {121--141},
 numpages = {21},
 url = {http://doi.acm.org/10.1145/357062.357071},
 doi = {10.1145/357062.357071},
 acmid = {357071},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Harel:1985:LAF:22145.22166,
 author = {Harel, D},
 title = {A Linear Algorithm for Finding Dominators in Flow Graphs and Related Problems},
 booktitle = {Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing},
 series = {STOC '85},
 year = {1985},
 isbn = {0-89791-151-2},
 location = {Providence, Rhode Island, USA},
 pages = {185--194},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/22145.22166},
 doi = {10.1145/22145.22166},
 acmid = {22166},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Choi:1991:ACS:99583.99594,
 author = {Choi, Jong-Deok and Cytron, Ron and Ferrante, Jeanne},
 title = {Automatic Construction of Sparse Data Flow Evaluation Graphs},
 booktitle = {Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '91},
 year = {1991},
 isbn = {0-89791-419-8},
 location = {Orlando, Florida, USA},
 pages = {55--66},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/99583.99594},
 doi = {10.1145/99583.99594},
 acmid = {99594},
 publisher = {ACM},
 address = {New York, NY, USA},
}
                  
@inproceedings{Cytron:1989:EMC:75277.75280,
 author = {Cytron, R. and Ferrante, J. and Rosen, B. K. and Wegman, M. N. and Zadeck, F. K.},
 title = {An Efficient Method of Computing Static Single Assignment Form},
 booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '89},
 year = {1989},
 isbn = {0-89791-294-2},
 location = {Austin, Texas, USA},
 pages = {25--35},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/75277.75280},
 doi = {10.1145/75277.75280},
 acmid = {75280},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@phdthesis{Simpson:1996:VRE:923722,
 author = {Simpson, Loren Taylor},
 title = {Value-driven Redundancy Elimination},
 year = {1996},
 note = {AAI9631092},
 publisher = {Rice University},
 address = {Houston, TX, USA},
}